On Verbosity Levels In Cognitive Problem Solvers

The aim o f t h e paper i s t o d i s c u s s s e v e r a l i s s u e s t h a t u s u a l l y o c c u r when c o m p u t a t i o n a l l i n g u i s t i c s comes i n t o i n t e r a c t i o n s w i t h so r a p i d l y g rowing s~eas o f a r t i f i c i a l i n t e l l i g ence as i t can be s e e n e . g . i n d e s i g n i n g e x p e r t and c o n s u l t i n g sys tems or i n t h e a r e a o f au tomated programming o f knowledgeb a s e d problem s o l v i n g s y s t e m s . We w i l l men t ion h e r e problems o f communica t ing knowledge be tween machine and r e s e a r c h e r ( a u s e r o f a sys tem) which i s not an e x p e r t i n programming t e c h h i q u e v S i n c e n a t u r a l l a n ~ a ~ e i s a " n a t u r a l " form f o r e x p r e s s t n g knowledge (and most e x t r a m a t h e m a t i c a l knowledge a c t u a l l y e x i s t s i n t h i s form) i t cou ld be seemed t h a t n a t u r a l l anguage would be a l s o t he b e s t suppor t f o r communicat ing knowledge t h r o u g h a c o g n i t i v e p r o c e s s pe r fo rmed on a compute r . I s I t r e a l l y so? We want t o b r i n g arguments f o r a r a t h e r o p p o s i t e c l a i m by p o i n t e d ou~ s e v e r a l f o r m a t s f o r e x p r e s s i n g and communt o a t i n ~ s c i e n t i f i c knowledge which d i f f e r s from u s u a l n a t u r a l language oneso